Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
911	Containment of Aggregate Queries∗ Sara Cohen Faculty of Industrial Engineering and Management Technion—Israel Institute of Technology Haifa 32000, Israel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:36 Computer science Field theory Valuation FO Curry–Howard correspondence SQL Conjunctive query Mathematics Computing Algebraic geometry
912	1 FlexPref: A Framework for Extensible Preference Evaluation in Database Systems Justin J. Levandoski 1 , Mohamed F. Mokbel 2 , Mohamed E. Khalefa 3 Department of Computer Science and Engineering, University of Minnesot Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2010-03-22 14:30:20 Query languages R-tree Tuple SQL Relational model Dominance-based rough set approach Computing Data management Mathematics
913	HEtest: A Homomorphic Encryption Testing Framework Mayank Varia1 , Sophia Yakoubov1 , and Yang Yang2,? 1 MIT Lincoln Laboratory?? , {mayank.varia, sophia.yakoubov}@ll.mit.edu 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-02 17:15:17 Security Cyberwarfare Cipher Boolean circuit Verifiable computing Paillier cryptosystem Cryptography Homomorphic encryption Applied mathematics
914	Data-Depend Hash Algorithm ZiJie Xu and Ke Xu Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-03-29 20:31:43 SHA-2 Computing Computer programming Mathematics Cryptographic hash functions Hash function SHA-1
915	Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France Email: {vivien.maisonneuve, olivier.hermant, francois.ir Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-03-20 04:36:28 Mathematics Computing Mathematical proofs Dc cross-platform software Double-precision floating-point format Arbitrary-precision arithmetic Floating point Mathematical fallacy Computer arithmetic Data types Computer architecture
916	SQL’s Three-Valued Logic and Certain Answers Leonid Libkin School of Informatics, University of Edinburgh Abstract SQL uses three-valued logic for evaluating queries on databases with nulls. The standard theoretical ap Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-01-10 06:40:54 Relational model Null Relational algebra Conjunctive query FO SQL Function Symbol Data management Mathematics Computing
917	Individualizing Electrical Circuits of Cryptographic Devices as a Means to Hinder Tampering Attacks Zoya Dyka, Thomas Basmer, Christian Wittke and Peter Langendoerfer System dept., IHP Frankfurt(Oder), Germany Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-08 10:18:14 Elliptic curve cryptography Reconfigurable computing Power analysis Side channel attack Multiplication Field-programmable gate array Advanced Encryption Standard Elliptic curve point multiplication Xilinx Cryptography Mathematics Espionage
918	Ilya Razenshteyn Resear interests Geometric algorithms, high-dimensional geometry, metric embeddings, streaming algorithms, compressive sensing, combinatorial optimization. Education 2012–now Add to Reading List Source URL: www.ilyaraz.org Language: English - Date: 2015-02-04 14:20:16 Theoretical computer science Symposium on Theory of Computing Hash function Piotr Indyk Nearest neighbor search International Colloquium on Automata Languages and Programming Streaming algorithm Information science Search algorithms Mathematics
919	NLTS2 Waves 1-5 Data Documentation and Dictionary Add to Reading List Source URL: www.nlts2.org Language: English - Date: 2014-09-04 15:12:58 Sample Mathematics Regression analysis Computing Type theory Variables Software engineering
920	A System for Temporally-Sliced Correspondence Analysis Visualization Artur Šilić, University of Zagreb, Faculty of Electrical Engineering and Computing, Annie Morin IRISA, Université de Rennes 1, 35 Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:19 Computer graphics Infographics Scientific modeling Linear algebra Singular value decomposition Rennes Visualization Dimension Institut de recherche en informatique et systèmes aléatoires Algebra Mathematics Computational science

UPDATE